| 1. Identificação | ||||
| Tipo de Referência | Relatório (Report) | |||
| Site | mtc-m21c.sid.inpe.br | |||
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S | |||
| Identificador | 8JMKD3MGP3W34R/42L26CL | |||
| Repositório | sid.inpe.br/mtc-m21c/2020/06.08.19.42 | |||
| Última Atualização | 2020:06.08.19.42.42 (UTC) simone | |||
| Repositório de Metadados | sid.inpe.br/mtc-m21c/2020/06.08.19.42.42 | |||
| Última Atualização dos Metadados | 2022:07.08.21.15.02 (UTC) administrator | |||
| Chave de Citação | SilvaSant:2017:TeSoVi | |||
| Título | Testes de software via model checking para sistemas espaciais críticos  | |||
| Ano | 2017 | |||
| Data de Acesso | 29 abr. 2024 | |||
| Tipo | RPQ | |||
| Número de Páginas | 42 | |||
| Número de Arquivos | 1 | |||
| Tamanho | 1678 KiB | |||
| 2. Contextualização | ||||
| Autor | 1 Silva, Felipe Elias Costa da 2 Santiago Júnior, Valdivino Alexandre de | |||
| Identificador de Curriculo | 1 2 8JMKD3MGP5W/3C9JJB5 | |||
| Grupo | 1 2 LABAC-COCTE-INPE-MCTIC-GOV-BR | |||
| Afiliação | 1 Universidade Salesiana (UNISAL) 2 Instituto Nacional de Pesquisas Espaciais (INPE) | |||
| Endereço de e-Mail do Autor | 1 felipe.eliascs@hotmail.com 2 valdivino.santiago@inpe.br | |||
| Instituição | Instituto Nacional de Pesquisas Espaciais | |||
| Cidade | São José dos Campos | |||
| Histórico (UTC) | 2020-06-08 19:42:42 :: simone -> administrator :: 2022-07-08 21:15:02 :: administrator -> simone :: 2017 | |||
| 3. Conteúdo e estrutura | ||||
| É a matriz ou uma cópia? | é a matriz | |||
| Estágio do Conteúdo | concluido | |||
| Transferível | 1 | |||
| Palavras-Chave | software model checking sistemas espaciais | |||
| Resumo | Testes de software e Model Checking (método de Verificação Formal) são processos/métodos diferentes para assegurar a qualidade de sistemas de software. Para sistemas críticos, tais como satélites e aplicações de balões estratosféricos que o INPE desenvolve, a questão da qualidade é ainda mais relevante, pois um defeito no software pode ocasionar grandes perdas financeiras. Dado a busca exaustiva no espaço de estados que Model Checking realiza, pesquisadores vêm propondo gerar casos de testes de software por meio de Model Checking. Nesse contexto, o raciocínio é interpretar os contraexemplos gerados pelos Model Checkers (ferramentas de software que possuem uma realização da teoria de Model Checking) como casos de teste. O principal desafio é forçar o Model Checker a criar, sistematicamente, conjuntos de tais contraexemplos. Esse projeto de pesquisa possui três objetivos específicos: a.) realizar a geração de casos de teste de software a partir de Model Checking; b.) atualizar a metodologia e a ferramenta SOLIMVA com as soluções tecnológicas desenvolvidas no projeto; e c.) aplicar a nova versão da ferramenta e da metodologia SOLIMVA a software de sistema espacial crítico em desenvolvimento no INPE. Esse relatório apresenta as atividades desenvolvidas no período de 01 de agosto de 2015 a 13 de julho de 2017. | |||
| Área | COMP | |||
| Arranjo 1 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Testes de software... | |||
| Arranjo 2 | urlib.net > BDMCI > Fonds > Acervo PIBIC/PIBITI > PIBIC/PIBITI 2017 > Testes de software... | |||
| Conteúdo da Pasta doc | acessar | |||
| Conteúdo da Pasta source | não têm arquivos | |||
| Conteúdo da Pasta agreement |
| |||
| 4. Condições de acesso e uso | ||||
| URL dos dados | http://urlib.net/ibi/8JMKD3MGP3W34R/42L26CL | |||
| URL dos dados zipados | http://urlib.net/zip/8JMKD3MGP3W34R/42L26CL | |||
| Idioma | pt | |||
| Arquivo Alvo | silva_testes.pdf | |||
| Grupo de Usuários | simone | |||
| Visibilidade | shown | |||
| Permissão de Leitura | allow from all | |||
| Permissão de Atualização | não transferida | |||
| 5. Fontes relacionadas | ||||
| Repositório Espelho | urlib.net/www/2017/11.22.19.04.03 | |||
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/3ESGTTP 8JMKD3MGPDW34P/478H8LM | |||
| Lista de Itens Citando | sid.inpe.br/mtc-m21/2012/07.13.15.01.24 1 sid.inpe.br/bibdigital/2013/09.22.23.14 1 | |||
| Divulgação | BNDEPOSITOLEGAL | |||
| Acervo Hospedeiro | urlib.net/www/2017/11.22.19.04 | |||
| 6. Notas | ||||
| Notas | Bolsa PIBIC/INPE/CNPq | |||
| Campos Vazios | archivingpolicy archivist callnumber contenttype copyholder copyright creatorhistory date descriptionlevel doi e-mailaddress edition format isbn issn label lineage mark nextedition orcid parameterlist parentrepositories previousedition previouslowerunit progress project readergroup recipient reportnumber rightsholder schedulinginformation secondarydate secondarykey secondarymark secondarytype session shorttitle sponsor subject tertiarymark tertiarytype translator url versiontype | |||
| 7. Controle da descrição | ||||
| e-Mail (login) | simone | |||
| atualizar | ||||